A New Interval Approximation Supporting Bit Operations and Byte Access

In this paper we present a new variant of the commonly used interval approximation based on the so-called valid interval approach. This new approach supports arithmetic and bit operations including shift and rotate functions. Furthermore, it allows read and write access to the byte representation of integer and floating point values. We present the necessary functions for integer intervals in detail, including examples.